разрешимая система

См. также в других словарях:

• РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… …   Математическая энциклопедия

• ЛИ ПОЛУПРОСТАЯ АЛГЕБРА — алгебра Ли, не имеющая ненулевых разрешимых идеалов (см. Ли разрешимая алгебра). В дальнейшем рассматриваются конечномерные Ли п. а. над полем kхарактеристики 0 (о Лн п. а. над полем ненулевой характеристики см. Ли алгебра). Полупростота… …   Математическая энциклопедия

• ТЕМПЕРАЦИЯ — (лат. systema participatum, нем. Temperatur, франц. tempérament), так называется выравнивание неизбежных в практической музыке уклонений от акустической чистоты интервалов. Каждый консонирующий аккорд (мажорный или минорный) состоит из главного… …   Музыкальный словарь Римана

• Микроскоп — оптический прибор, основанный на преломлении (диоптрический М.) световых лучей и служащий для получения сильно увеличенных действительных или мнимых изображений небольших, не различаемых невооруженным глазом предметов; изображения эти, полученные …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Микроскоп* — оптический прибор, основанный на преломлении (диоптрический М.) световых лучей и служащий для получения сильно увеличенных действительных или мнимых изображений небольших, не различаемых невооруженным глазом предметов; изображения эти, полученные …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ГРУППА — множество, на к ром определена операция, наз. умножением и удовлетворяющая спец. условиям (групповым аксиомам): в Г. существует единичный элемент; для каждого элемента Г. существует обратный; операция умножения ассоциативна. Понятие Г. возникло… …   Физическая энциклопедия

• ГРУППА — один из основных типов алгебраических систем. Теория Г. изучает в самой общей форме свойства алгебраич. операций, наиболее часто встречающихся в математике и ее приложениях (примеры таких операций умножение чисел, сложение векторов,… …   Математическая энциклопедия

• СВОБОДНАЯ ГРУППА — группа F с системой Xпорождающих элементов такая, что любое отображение множества Xв любую группу G продолжается до гомоморфизма Fв G. Такая система Xназ. с и с т е м о й с в о б о д н ы х п о р о ж д а ю щ и х; ее мощность наз. р а н г о м с в о …   Математическая энциклопедия

• Паскаль Блэз — (Pascal) один из величайших мыслителей Франции (1623 62), род. в Клермон Ферране; с ранних лет обнаруживал большую пытливость и замечательную способность к математическим наукам (см. ниже). Усиленные занятия сильно расстроили слабое от природа… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• РЕГУЛЯРНЫЙ TOP — алгебраический тор в связной алгебраич. группе G, содержащийся лишь в конечном число борелевских подгрупп. Максимальные торы в G всегда регулярны. В общем случае тор SМ G является регулярным тогда и только тогда, когда его централизатор С G(S)… …   Математическая энциклопедия

• Тьюринг, Алан — Алан Тьюринг Alan Mathison Turing …   Википедия